Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
81	Ergo AN OPEN ACCESS JOURNAL OF PHILOSOPHY Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophical logic Mathematical logic Function Entailment Proposition Modal logic Logic Logical syntax Propositional calculus
82	Grazer Philosophische Studien[removed]), 29–48. ASCENT, PROPOSITIONS AND OTHER FORMAL OBJECTS Kevin MULLIGAN University of Geneva Add to Reading List Source URL: www.unige.ch Language: English - Date: 2011-11-02 07:31:10 Philosophical logic Logical syntax Propositional calculus Philosophy of language Mathematical logic Proposition Function Predicate Formal language Logic Philosophy Mathematics
83	EUJAP  VOL. 3  No. 1  2007 Original scientific paper UDk: 165 1:18 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Formal languages Philosophy of language Logical syntax Propositional calculus Modal logic Proposition Interpretation Golden ratio Function Logic Mathematics Mathematical logic
84	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
85	Bounded-Resource Reasoning as (Strong or Classical) Planning A. Albore1 , N. Alechina2 , P. Bertoli3 , C. Ghidini3 , and B. Logan2 Universitat Pompeu Fabra, pg.Circumval·laci´o[removed], Barcelona, Spain School of Compu Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-21 08:27:09 Formal languages Propositional calculus Logical syntax Logic in computer science Well-formed formula Natural deduction Method of analytic tableaux Function Formula Logic Mathematics Mathematical logic
86	Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness Thomas ˚ Agotnes Bergen University College Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:29:34 Formal languages Model theory Mathematical logic Logic programming Substitution Symbol Interpretation Entailment Function Logic Mathematics Propositional calculus
87	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
88	International Journal of Information Security manuscript No. (will be inserted by the editor) J. G. Cederquist · R. Corin · M. A. C. Dekker S. Etalle · J. I. den Hartog · G. Lenzini Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:47:09 Propositional calculus Predicate logic Logical syntax Model theory Euclidean plane geometry Golden ratio First-order logic Entailment Function Logic Mathematics Mathematical logic
89	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
90	Distance Semantics for Relevance-Sensitive Belief Revision Extended Abstract1 Pavlos Peppas,2 Samir Chopra,3 and Norman Foo4 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-20 06:41:33 Propositional calculus Deduction Functions and mappings Entailment Logical consequence Metalogic Belief revision Interpretation Function Logic Mathematical logic Mathematics

UPDATE